implication n. 1.牽連,牽涉,糾纏。 2.含蓄,含意,言外之意。 3.【數(shù)學(xué)】蘊(yùn)涵,蘊(yùn)含。 4.本質(zhì),實(shí)質(zhì)。 5.〔常 pl.〕推斷,結(jié)論。 by implication 含蓄地,用寓意,暗中。 agree by implication 默契。
Qusi - t - norms and implication operators direct products and direct product decompositions 模及蘊(yùn)涵算子的直積和直積分解
In this paper , firstly by the use of the relations between fuzzy points and fuzzy sets and implication operators of fuzzy logic , definitions of ( , a ) - fuzzy topology and r - fuzzy topology are given 首先通過(guò)使用模糊點(diǎn)、模糊集和模糊邏輯蘊(yùn)涵三者之間的關(guān)系,我們給出了( ( ? ) , ( ? ) ) -模糊拓?fù)浜蛂 -模糊拓?fù)涞母拍睢?
It points out that the implication operator i ( x , y ) defined by strict t - norms is not continuous at ( 0 , 0 ) and discusses under what conditions a t - norm induced by an implication operator is archimedean 指出了由嚴(yán)格的仁范定義的蘊(yùn)涵算子方(叨在叮0 )處不連續(xù);并給出了什么樣的蘊(yùn)涵算子定義的t范是阿基米德的
Left - continuous t - norm was connected with implication operator and logic system could be built by implication operator . the aim of this paper is to give new logic systems by constructing implication operators which are different from rq operator 由于左連續(xù)t -模與蘊(yùn)涵算子的關(guān)系十分密切,因此構(gòu)造新的左連續(xù)t -模就成為得到新的蘊(yùn)涵算子的有效途徑。
It was well known that rq t - norm which rq implication operator residuated to was left - continuous . in fact , any left - continuous t - norm has its own residuum - implication operator . and many - valued system could be obtained from implication operator 事實(shí)上,任一左連續(xù)t -模都可確定一個(gè)與之伴隨的蘊(yùn)涵算子,并且,不同的蘊(yùn)涵算子就可以構(gòu)建不同的多值邏輯系統(tǒng)。
Again in 1999 , based on rq implication operator prof . wang proposed triple - i method of fuzzy reasoning , which is more reasonable than the cri method that was proposed by zadeh and now is widely applied in control field 1999年又基于只。蘊(yùn)涵算子提出了模糊推理的全蘊(yùn)涵三i算法,這是比zadeh提出的如今在控制領(lǐng)域中廣泛應(yīng)用的cri方法更為合理,邏輯基礎(chǔ)更強(qiáng)的推理算法。
In the last , the problem of the perturbation of fuzzy reasoning is discussed in detail , and the maximum perturbation parameters for various methods of fuzzy reasoning is estimated according to the choice of conjunctive operator and implication operator 根據(jù)椎理規(guī)則中合取算子與蘊(yùn)涵算子的不同選取方式,對(duì)各種模糊推理方法的最大攝動(dòng)參數(shù)進(jìn)行了評(píng)估,為實(shí)際應(yīng)用中選擇恰當(dāng)?shù)哪:评矸椒ㄌ峁┝艘粋€(gè)準(zhǔn)則
In the first part , as preparatory knowledge , this paper gives a general form of triple - i method of fuzzy reasoning , which is based on the residua - type implication operator . it provides a foundation for the later study of non - fuzzy form of fuzzy reasoning 本文的主要內(nèi)容如下:第一部分:作為預(yù)備知識(shí),給出了基于剩余型蘊(yùn)涵算子的模糊推理的全蘊(yùn)涵三imp算法和三imt算法的一般形式,為后面研究模糊推理的非模糊形式提供了依據(jù)
In 1997 , based on rq implication operator professor wang guojun proposed revised kleene system . again in 1998 , professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system 1997年,王國(guó)俊教授基于蘊(yùn)涵算子r _ 0提出了修正的kleene系統(tǒng),又于1998年引入了廣義重言式的概念,對(duì)修正的kleene系統(tǒng)中的廣義重言式類(lèi)進(jìn)行了深刻而細(xì)致的討論,建立了廣義重言式理論,為模糊邏輯提出了新的研究方向。
So the theory of generalized tautologies was built , which gave a new direction in fuzzy logic research . an implication operator is residuated to a special left - continuous t - norm , and r0 algebra proposed by professor wang can be seen as the algebra which is built by the special left - continuous t - norm and implication operator 此后,王國(guó)俊教授以( ? ) ? lindenbaum代數(shù)為背景建立了r _ 0代數(shù)理論。 r _ 0代數(shù)可以看作是基于一種特別的左連續(xù)t -模及其所對(duì)應(yīng)的蘊(yùn)涵算子而建立的。